Fuzzy colored time Petri net and termination analysis for fuzzy Event-Condition-Action rules
نویسندگان
چکیده
Knowledge systems are characterized by being active, uncertain and adaptive in pervasive computing environments, and Fuzzy Event-Condition-Action (ECA) rules can effectively describe these features of knowledge systems. To analyze the static structure and dynamic behavior of fuzzy ECA rules, a fuzzy colored time Petri net model (FCTPN) is proposed. The FCTPN is able to model the fuzzy ECA rules with characteristics such as fuzzy composite events, fuzzy composite conditions, event consumption modes and rule coupling modes. Based on the FCTPN, termination analysis of fuzzy ECA rules is examined, and an efficient termination analysis algorithm is proposed with consideration of all the characteristics of fuzzy ECA rules. Compared with existing termination analysis algorithms of ECA rules, the proposed algorithm has higher accuracy and lower time complexity, and thus it is more suitable for pervasive computing environments. 2013 Elsevier Inc. All rights reserved.
منابع مشابه
Petri Nets and Fuzzy Sets in Hybrid Controllers Synthesis: The Discrete-Event Aspect
This paper presents a design approach intended for the modeling and synthesis of discrete-event modules of hybrid controllers by combining a model of computation and a soft computing synthesis approach. The model of computation is based on coloured Petri nets (CPNs) and the soft computing method uses fuzzy logic. The design approach converts Petri net models into their equivalent fuzzy sets for...
متن کاملTermination Analysis of Active Rules -A Petri Net Based Approach
Active rules allow software systems behave auto matically when relevant events take place. Due to unstructured rule processing, it is necessary to inspect behavior characteris tics such as termination which guarantees that rule processing finishes. In this paper we introduce potential termination concept which gives valuable information about those rules whose processing may not terminate durin...
متن کاملAn Active Rule Base Simulator based on Petri Nets
Event-condition-action rules, in active database systems, should be performed carefully, because their firings can produce inconsistent states in database systems. In this paper, an ECA rule base simulator is described, named ECAPNSim, which uses a Conditional Colored Petri Net model to depict ECA rules. It can model ECA rules, simulate their behavior, and perform a static analysis.
متن کاملA Context Inference Framework based on Fuzzy Colored Timed Petri Nets
In context-aware computing environment, some context is characterized by a single event, but many other contexts are determined by a sequence of events which occur with some timing constraints. Therefore, context inference should be conducted by monitoring the sequence of event occurrence along with checking their conformance with timing constraints. Some context could be described with fuzzy w...
متن کاملDeterministic Measurement of Reliability and Performance Using Explicit Colored Petri Net in Business Process Execution Language and Eflow
Today there are many techniques for web service compositions. Evaluation of quality parameters has great impact on evaluation of final product. BPEL is one of those techniques that several researches have been done on its evaluation. However, there are few researches on evaluation of QoS in eflow. This research tries to evaluate performance and reliability of eflow and BPEL through mapping them...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Inf. Sci.
دوره 232 شماره
صفحات -
تاریخ انتشار 2013